1. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
پدیدآورنده : Ed Brinksma, Kim Guldstrand Larsen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2404
2. Lectures on formal methods and performance analysis
پدیدآورنده : / Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Formal methods (Computer science)--Congresses
رده :
QA
,
76
.
9
,.
F67
,
E34
,
2000
3. Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
پدیدآورنده : Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
2090
4. Protocol specification, testing, and Verification, IX
پدیدآورنده : / edited by ED brinksma, Giuseppe Scollo, Chris A. Vissers
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Computer network protocols -- Congresses
رده :
TK
5105
.
5
.
I3426
1989
5. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
پدیدآورنده : Ed Brinksma )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1217
